Automatikos terminų žodynas. – Vilnius: Technika. Vilius Antanas Geleževičius, Angelė Kaulakienė, Stanislovas Marcinkevičius. 2004.
Prädikatenlogik erster Stufe — Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik. Sie befasst sich mit der Struktur gewisser mathematischer Ausdrücke und dem logischen Schließen, mit dem man von derartigen Ausdrücken zu anderen gelangt. Dabei gelingt … Deutsch Wikipedia
kintamojo simbolis — statusas T sritis automatika atitikmenys: angl. variable symbol vok. Variablensymbol, n rus. символ переменной, m pranc. symbole de variable, m … Automatikos terminų žodynas
symbole de variable — kintamojo simbolis statusas T sritis automatika atitikmenys: angl. variable symbol vok. Variablensymbol, n rus. символ переменной, m pranc. symbole de variable, m … Automatikos terminų žodynas
variable symbol — kintamojo simbolis statusas T sritis automatika atitikmenys: angl. variable symbol vok. Variablensymbol, n rus. символ переменной, m pranc. symbole de variable, m … Automatikos terminų žodynas
символ переменной — kintamojo simbolis statusas T sritis automatika atitikmenys: angl. variable symbol vok. Variablensymbol, n rus. символ переменной, m pranc. symbole de variable, m … Automatikos terminų žodynas
